Merge pull request #9371 from neheb/gpge
authorRosen Penev <[email protected]>
Wed, 10 Jul 2019 18:23:39 +0000 (11:23 -0700)
committerGitHub <[email protected]>
Wed, 10 Jul 2019 18:23:39 +0000 (11:23 -0700)
libgpg-error: Fix compilation with GAWK 5.0


Trivial merge